Total Books: 1 - 5 /5
Communicating Sequential Processes. The First 25 Years
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
Lire la suiteCybersecurity of Digital Service Chains : Challenges, Methodologies, and Tools
This book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current ...
Lire la suite
Testing of Communicating Systems (vol. # 3502)
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suite
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suite
The 2007 ESO Instrument Calibration Workshop : Proceedings of the ESO Workshop held in Garching, Germany, 23-26 January 2007
These present proceedings include the majority of the workshop’s contributions and document the status quo of instrument ...
Lire la suite
Total Books: 1 - 5 /5
